BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2017/newsitem/8862/26-
 April-2017-Algebra|Coalgebra-Seminar-George-Metcal
 fe-
DTSTAMP:20170401T150639
SUMMARY:Algebra|Coalgebra Seminar, George Metcalfe
  
ATTENDEE;ROLE=Speaker:George Metcalfe (Universität
  Bern) 
DTSTART;TZID=Europe/Amsterdam:20170426T160000
DTEND;TZID=Europe/Amsterdam:20170426T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
 rdam
DESCRIPTION:Ordering conditions for groups provide
  useful tools for the study of various relationshi
 ps between group theory, universal algebra, topolo
 gy, and logic. In this talk, I will describe a new
  “algorithmic” ordering condition for extending pa
 rtial orders on groups to total orders. I will the
 n show how this condition can be used to show that
  extending a finite subset of a free group to a to
 tal order corresponds to checking validity of a ce
 rtain inequation in the class of totally ordered g
 roups. As a direct consequence, we obtain a new pr
 oof that free groups are orderable.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Ordering condi
 tions for groups provide useful tools for the stud
 y of various relationships between group theory, u
 niversal algebra, topology, and logic. In this tal
 k, I will describe a new “algorithmic” ordering co
 ndition for extending partial orders on groups to 
 total orders. I will then show how this condition 
 can be used to show that extending a finite subset
  of a free group to a total order corresponds to c
 hecking validity of a certain inequation in the cl
 ass of totally ordered groups. As a direct consequ
 ence, we obtain a new proof that free groups are o
 rderable.</p>\n
URL:https://www.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen  at f.m.lauridsen at uv
 a.nl
END:VEVENT
END:VCALENDAR